logic development for programming